Construction and Analysis of Distributed Processes

#	Item
31	Global Scheduler Properties derived from Local Restrictions Thomas Arts ∗ Add to Reading List Source URL: www.erlang.se Language: English - Date: 2002-08-20 04:43:18 Ericsson Erlang Model checking Scheduling Representational state transfer Concurrent computing Construction and Analysis of Distributed Processes THE multiprogramming system Kernel Computing Software engineering Erlang programming language
32	AGEDIS CONSORTIUM M ODE L BASE D TEST Add to Reading List Source URL: www.agedis.de Language: English - Date: 2006-12-19 04:41:21 Software engineering Science Diagrams Unified Modeling Language TTCN Model-based testing Rational Tau Construction and Analysis of Distributed Processes Test automation Software testing Automation Technology
33	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics